Structural and Behavioral Modeling with Monadic Logics
نویسندگان
چکیده
Logic ooers the possibility of modeling and reasoning about hardware and software. But which logic? We propose monadic logics of strings and trees as good candidates for many kinds of discrete systems. These logics are natural, decidable, yet substantially more expressive , extensions of Boolean logic. We motivate their applicability through examples.
منابع مشابه
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
The monadic fragments of first-order Gödel logics are investigated. It is shown that all finite-valued monadic Gödel logics are decidable; whereas, with the possible exception of one (G↑), all infinitevalued monadic Gödel logics are undecidable. For the missing case G↑ the decidability of an important sub-case, that is well motivated also from an application oriented point of view, is proven. A...
متن کاملExpressive power of monadic logics on words, trees, pictures, and graphs
We give a survey of the expressive power of various monadic logics on specific classes of finite labeled graphs, including words, trees, and pictures. Among the logics we consider, there are monadic secondorder logic and its existential fragment, the modal mu-calculus, and monadic least fixed-point logic. We focus on nesting-depth and quantifier alternation as a complexity measure of these logics.
متن کاملModeling Behavioral Brain Systems and Emotion Dysregulation with Psychological Vulnerability in Substance-Dependent Individuals in Recovery
Objective: The aim of this study was to investigate the modeling of behavioral brain systems and emotion dysregulation with psychological vulnerability in substance-dependent individuals in recovery. Method: The present study was descriptive-correlational of structural equation modeling type. The statistical population of this study consisted of all substance-dependent individuals in recovery i...
متن کاملمدل معادلات ساختاری و کاربرد آن در مطالعات روانشناسی: یک مطالعه مروری
Introduction: Structural Equation Modeling (SEM) is a very general statistical modeling technique, which is widely used in the behavioral sciences. It can be viewed as a combination of path analysis, regression and factor analysis. One of the prominent features of this method is the ability to compute direct, indirect and total effects, as well as latent variable modeling. Methods: This sy...
متن کاملOn Second-Order Monadic Monoidal and Groupoidal Quantifiers
We study logics defined in terms of second-order monadic monoidal and groupoidal quantifiers. These are generalized quantifiers defined by monoid and groupoid word-problems, equivalently, by regular and context-free languages. We give a computational classification of the expressive power of these logics over strings with varying built-in predicates. In particular, we show that ATIME(n) can be ...
متن کامل